<?xml version="1.0" encoding="iso-8859-1"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
    "DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
  <head>
    <link rel="stylesheet" type="text/css" href="html.css" />
    <title>JAS Project Publications</title>
  </head>
  <body class="main">
    <h2>Java Algebra System (JAS) Project Publications</h2>


<p>This page lists published papers and talks about the JAS design and
mathematical contents.</p>

<p>The versions of the Comprehensive Gr&ouml;bner Bases from 2010 are
   presended in
   <a href="http://dx.doi.org/10.1007/978-3-662-43799-5_9"
       target="ascm" >Heinz Kredel,
        <i>Comprehensive Gr&ouml;bner Bases in a Java Computer Algebra System</i></a>,
    Computer Mathematics <em>ASCM2009, ASCM2012, Contributed Papers and Invited Talks</em> 
    (eds. Feng, Ruyong and Lee, Wen-shin and Sato, Yosuke),
    pp. 93-108, 2014, Springer Berlin Heidelberg
</p>

<p>An Overview on Groebner Bases implementations is given in
   <a href="http://dx.doi.org/10.1007/978-3-662-44199-2_60" target="icms"  
      >Heinz Kredel  
        <i>Generic and Parallel Groebner Bases in JAS</i> (Extended Abstract)</a>, 
    proceedings of the International Congress on Mathematical Software 
    (<a href="http://voronoi.hanyang.ac.kr/icms2014/" target="new">ICMS</a>) August 5-9, 2014, Seoul, Korea.  
    LNCS 8592, pp. 390 - 397, 2014, Springer-Verlag Berlin Heidelberg 
    (<a href="http://krum.rz.uni-mannheim.de/kredel/jas-gen-par-gb-icms2014-slides.pdf" target="icms">slides</a>)
</p>

<p>Design and experiences using MPJ and high speed InfiniBand networking for 
   algebraic computations are described in
   <a href="http://doi.ieeecomputersociety.org/10.1109/WAINA.2013.101" target="aina" 
      >Heinz Kredel,
      <i>Distributed Gr&ouml;bner bases computation with MPJ</i></a>,
   proceedings of the 
   <a href="http://krum.rz.uni-mannheim.de/eoops/index-2013.html" target="aina">EOOPS Workshop</a> at
   <a href="http://www.aina-conference.org/2013/" target="aina">AINA-2013</a>, 
   March 25-28, 2013, Barcelona, Spain 
   (<a href="http://krum.rz.uni-mannheim.de/kredel/jas-gb-mpj-aina2013-slides.pdf"  target="aina">slides</a>)
</p>

<p>Some ideas on categories and mixin composition in ScAS and JAS are presented in the poster 
   <a href="http://krum.rz.uni-mannheim.de/kredel/com-casc2012-poster.pdf" target="casc"  
      >Raphael Jolly, Heinz Kredel, 
      <i>Categories as classes and mixin composition</i></a>, 
   Poster at  
   <a href="http://www14.in.tum.de/CASC2012/">CASC 2012</a>, 
   September 3-6, 2012, Maribor, Slovenia
</p>

<p>A comparison of API interfaces for computer algebra is presented in the paper
   <a href="http://doi.ieeecomputersociety.org/10.1109/WAINA.2012.158" target="aina" 
      >Heinz Kredel,
       <i>Fostering Interoperability in Java-Based Computer Algebra Software</i></a>,
    Proceedings FINA Workshop
    <a href="http://www.aina-conference.org/2012/">AINA-2012</a>, 
    March 26-29, 2012, Fukuoka, Japan
    (<a href="http://krum.rz.uni-mannheim.de/kredel/cas-inter-aina2012-slides.pdf" target="aina">slides</a>)
</p>

<p>The design of algebraic extension structures in JAS and ScAS is presented in the talk 
   <a href="http://www.springerlink.com/content/978-3-642-23567-2/#section=950349" target="casc"
      >Raphael Jolly, Heinz Kredel,
       <i>Algebraic Structures as Typed Objects</i></a>,
    at the Workshop on Computer Algebra in Scientific Computing
    <a href="http://www14.in.tum.de/CASC2011/">CACS 2011</a>,
    Kassel, Germany, 2011
    (<a href="http://krum.rz.uni-mannheim.de/kredel/to-cas-casc2011-slides.pdf" target="casc">slides</a>)
</p>

<p>An early description of the JAS package for unique factorization domains 
   (greatest common divisors, square-free decomposition, factorization) 
   is contained in the article
   <a href="http://dx.doi.org/10.1007/978-3-642-21046-4_5" target="adg" 
      >Heinz Kredel,
   <i>Unique Factorization Domains in the Java Computer Algebra System</i></a>,
   Special issue on Automated Deduction in Geometry,
   Lecture Notes in Computer Science volume 6301, pages 86-115,
   Springer, 2011
</p>

<p>The design of JAS and ScAS is presented together with examples in the talk 
   <a href="http://dx.doi.org/10.1007/978-3-642-15274-0_14" target="casc"
      >Raphael Jolly, Heinz Kredel,
       <i>Generic, Type-safe and Object Oriented Computer Algebra Software</i></a>,
    at the Workshop on Computer Algebra in Scientific Computing
    <a href="http://www14.in.tum.de/CASC2010/">CACS 2010</a>,
    Tsakhkadzor, Armenia, 2010
    (<a href="http://krum.rz.uni-mannheim.de/kredel/oocas-casc2010-slides.pdf" target="casc">slides</a>)
</p>

<p>Performance meassurements for the distributed hybrid Gr&ouml;bner
   bases implementation are contained in the paper
   <a href="http://arxiv.org/abs/1008.0011" target="arxiv" 
      ><i>Parallel and distributed Gr&ouml;bner bases computation in JAS</i></a>,
    avaliable as
    <a href="http://arxiv.org/abs/1008.0011" target="arxiv" 
       >arxiv:1008.0011</a>, 2010.
</p>

<p>The new distributed hybrid Gr&ouml;bner bases implementation 
   is explained in the talk 
   <a href="http://doi.ieeecomputersociety.org/10.1109/CISIS.2010.26" target="ecds"  
      ><i>Distributed hybrid Groebner bases computation</i></a>, 
   at the
   <a href="http://www.cisis-conference.eu/" target="ecds">CISIS 2010</a>  
   Workshop on  
   <a href="http://voyager.ce.fit.ac.jp/conferences/ecds2010/" target="ecds"  
      >Engineering Complex Distributed Systems (ECDS 2010)</a>, Krakow. 
   (<a href="http://krum.rz.uni-mannheim.de/kredel/jas-ecds2010-slides.pdf" target="ecds">slides</a>)
</p> 

<p>A description of the JAS comprehensive Gr&ouml;bner bases package is be 
   contained in the talk 
   <a href="http://krum.rz.uni-mannheim.de/kredel/jas-ascm2009-slides.pdf" target="ascm" 
      ><i>Comprehensive Gr&ouml;bner bases in a Java Computer Algebra System</i></a>,
   at the 
   <a href="http://gcoe.math.kyushu-u.ac.jp/ascm-macis2009/" target="ascm"
    >Asian Symposium on Computers and Mathematics (ASCM 2009)</a>, 
    Fukuoka.
</p>

<p>Some unique factorization domain algorithms in JAS are contained 
   in the seminar presentation
   <a href="http://krum.rz.uni-mannheim.de/kredel/ca-sem-2009.pdf" target="fmi"
      >Tools for the integration of rational functions in Java</a>,
   during the Computer-Algebra Seminar, University of Mannheim, FMI 2009
</p> 

<p>More background information on the python scripting interface 
   for JAS and ScAS can be found in the article 
   <a href="http://de.arxiv.org/abs/0906.2315" target="arxivascm"  
      >Raphael Jolly, Heinz Kredel, 
        <i>Symbolic Script Programming for Java</i></a>, 
    avaliable as 
    <a href="http://de.arxiv.org/abs/0906.2315" target="arxivascm"  
       >arXiv:0906.2315v2</a>, 2009.
</p>

<p>The parallel and distributed Gr&ouml;bner bases implementations are explained in 
   the talk 
   <a href="http://doi.ieeecomputersociety.org/10.1109/CISIS.2009.109" target="ecds"  
       ><i>Distributed parallel Groebner bases computation</i></a>, 
    at the
    <a href="http://www.cisis-conference.eu/" target="ecds">CISIS 2009</a>  
    Workshop on  
    <a href="http://voyager.ce.fit.ac.jp/conferences/ecds2009/" target="ecds"  
       >Engineering Complex Distributed Systems (ECDS 2009)</a>, Fukuoka 
    (<a href="http://krum.rz.uni-mannheim.de/kredel/jas-ecds2009-slides.pdf" target="ecds"  
    >slides</a>) 
</p> 

<p>The Gr&ouml;bner bases implementation of JAS is explained 
   in the seminar presentation
<a href="http://krum.rz.uni-mannheim.de/kredel/ca-sem-2008.pdf" target="fmi"
        >Gr&ouml;bner bases and applications in Java</a>,
   during the Computer-Algebra Seminar, University of Mannheim, FMI 2008
</p> 

<p>A description of the JAS greatest common divisor package is contained
   in the talk 
   <a href="http://krum.rz.uni-mannheim.de/kredel/jas-adg2008-slides.pdf" target="adg" 
      ><i>Multivariate Greatest Common Divisors in the Java Computer Algebra System</i></a>,
   at the International Workshop on 
   <a href="http://adg2008.redlog.eu/" target="adg"
      >Automated Deduction in Geometry (ADG 2008)</a>, Shanghai.
</p>

<p>Some background information on the python scripting interface 
   for JAS can be found in the article 
   <a href="http://de.arxiv.org/abs/0811.1061" target="arxivascm"  
      >Raphael Jolly, Heinz Kredel, 
   <i>How to turn a scripting language into a domain specific language for computer algebra</i></a>, 
   avaliable as 
   <a href="http://de.arxiv.org/abs/0811.1061" target="arxivascm"  
      >arXiv:0811.1061v1</a>, 2008. 
   Previous title was <i>Computer algebra in Java: libraries and scripting</i>. 
</p>

<p>A comparison of JAS to other Computer Algebra Systems is contained 
   in the talk 
   <a href="http://krum.rz.uni-mannheim.de/kredel/jas-ascm2007-slides.pdf" target="ascm" 
      ><i>Evaluation of a Java Computer Algebra System</i></a>,
   at the 
   <a href="http://www.comp.nus.edu.sg/~ascm2007/" target="ascm"
      >Asian Symposium on Computer Mathematics (ASCM 2007)</a>, Singapore. 
   <br />
   It has been published as paper in
   <a href="http://dx.doi.org/10.1007/978-3-540-87827-8_10" target="ascm" 
      >Heinz Kredel,
   <i>Evaluation of a Java Computer Algebra System</i></a>,
   Special issue <a href="http://dx.doi.org/10.1007/978-3-540-87827-8">Computer Mathematics</a> 
   of ASCM 2007 Revised and Invited Papers in
   Lecture Notes in Computer Science, volume 5081/2008, pages 121-138,
   Springer Berlin / Heidelberg
</p>

<p>An article 
<a href="http://dx.doi.org/10.1016/j.scico.2007.07.010" target="scico" 
       ><i>On a Java Computer Algebra System, its Performance and Applications</i></a>,
in
<a href="http://www.elsevier.com/wps/find/journaldescription.cws_home/505623/description"
   title="http://www.sciencedirect.com/science/journal/01676423" target="scico"
   >Science of Computer Programming (2008)</a>. 
</p>

<p>At the 
<a href="http://www.wifo.uni-mannheim.de/pppj2006/" target="a3l">PPPJ 2006 conference in Mannheim</a> 
I presented the design of the JAS types, classes and implementation 
"<a href="http://doi.acm.org/10.1145/1168054.1168075"
    target="pppj" 
   >On the Design of a Java Computer Algebra System</a>"
<!--"http://krum.rz.uni-mannheim.de/kredel/jas-pppj2006.pdf"-->
(<a href="http://krum.rz.uni-mannheim.de/kredel/jas-pppj2006-slides.pdf" target="pppj" 
   >slides</a>).
</p>

<p>At the 
<a href="http://www.a3l.org/" target="a3l">A3L conference in Passau, 2005</a> 
I gave some background information on the development from MAS to JAS 
"<a href="http://krum.rz.uni-mannheim.de/kredel/jas-a3l.pdf" target="a3l" 
   >A Systems Perspective on A3L</a>"
(<a href="http://krum.rz.uni-mannheim.de/kredel/jas-a3l-slides.pdf" target="a3l" 
   >slides</a>).
</p>

<p>The JAS project is also listed in the swMATH index of mathematical software
    <a href="http://www.swmath.org/software/5877" target="swmath">JAS</a>.
</p>

<p>The history of the JAS project can be found in the 
   <a href="jas-log.html" target="main">Web-Log</a>.
   See also the <a href="related.html" target="main">related projects</a>
   and <a href="acknowledge.html" target="main">credits</a>.
</p>

<hr />
<address><a name="contact" 
            href="mailto:kredel@at@rz.uni-mannheim.de">Heinz Kredel</a>
</address>

<p>
<!-- Created: Sat Mar 19 21:44:14 CET 2005 -->
<!-- hhmts start -->
Last modified: Mon May 25 23:19:01 CEST 2015
<!-- hhmts end -->
</p>
<!--p align="right" >
$Id$
</p-->

<p>
<a href="http://validator.w3.org/check?uri=referer" target="w3c"
   ><img src="http://www.w3.org/Icons/valid-xhtml10" height="31" width="88"
         alt="Valid XHTML 1.0!" /></a>

 <a href="http://jigsaw.w3.org/css-validator/" target="w3c"
    ><img src="http://www.w3.org/Icons/valid-css"
          alt="Valid CSS!" height="31" width="88"
     /></a>
</p>

  </body>
</html>
